>

Computer Science Department

>

Toni Mancini

[login|signup] [Italiano|English]

Exploiting functional dependencies in declarative problem specifications

To appear in Artificial Intelligence

Toni Mancini, Marco Cadoli
Dipartimento di Informatica e Sistemistica
Università di Roma "La Sapienza"
via Salaria 113, I-00198 Roma, Italy

Web appendix

Specifications and instances used in the experiments

Factoring

OPL specification: view
Instances: download

HP 2D-Protein folding

OPL specifications: model with binary inequalities - model with additional guessed predicate Hits
Instances: download

Blocks world

OPL specification: View
Instances: download

[This web site could never be realised without the sophisticated features of a pure text editor and the extreme power of 220V]